101. Perspectives on enclosure methods
پدیدآورنده : Ulrich Kulisch, Rudolf Lohner, Axel Facius (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer arithmetic.,Interval analysis (Mathematics)
رده :
QA76
.
9
.
C62
U475
9999
102. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده : ICANN '93. Ed. by Stan Gielen ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
103. Programming in Modula-3 :
پدیدآورنده : László Böszörményi, Carsten Weich ; foreword by Joseph Weizenbaum.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Informatik,MODULA.,Modula-3 (Computer program language)
رده :
QA76
.
73
.
M64
L379
1996
104. PyTorch recipes :
پدیدآورنده : Pradeepta Mishra.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine learning.,Neural networks (Computer science),Python (Computer program language),COMPUTERS-- General.,Machine learning.,Neural networks (Computer science),Python (Computer program language)
رده :
QA76
.
87
105. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
106. Real-time processing of linear and nonlinear systems using CROSSCUT computer memory
پدیدآورنده : M. Ashtijou
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Applied sciences,Computer science,Electrical engineering,Electrical engineering
107. Residue arithmetic & its applications to computer technology
پدیدآورنده : SZABO,NICHOLAS S
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MODULAR ARITHMETIC , ALGORITHMS , PROGRAMMING )ELECTRONIC COMPUTERS(
رده :
QA
247
.
35
.
S95
108. Scientific Computation with Automatic Result Verification
پدیدآورنده : edited by Ulrich Kulisch, Hans J. Stetter.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Mathematics.,Microprogramming.
109. Scientific Software Systems
پدیدآورنده : edited by J.C. Mason, M.G. Cox.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Science (General),Sciences -- General.
رده :
QA76
.
95
E358
1990
110. Scientific computation with automatic result verification
پدیدآورنده : U. Kulisch and H.J. Stetter (eds.)
موضوع : Numerical calculations- Verification- Congresses,Algorithms- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
111. Sequential and parallel algorithms and data structures :
پدیدآورنده : Peter Sanders, Kurt Mehlhorn, Martin Dietzfelbinger, Roman Dementiev.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer network architectures.,Data structures (Computer science),Algorithms.,Computer network architectures.,Data structures (Computer science)
رده :
QA76
.
6
112. Signals & systems for dummies /
پدیدآورنده : by Mark Wickert
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Signal processing.,System analysis.
رده :
TK5981
113. Software engineering in C
پدیدآورنده : Peter A. Darnell, Philip E. Margolis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C (Computer program language),Programmatuurtechniek.,Software engineering.
رده :
QA76
.
76
.
D47
P484
1988
114. Space-Filling Curve
پدیدآورنده : / by Michael Bader
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer science,Algorithms,Electronic books
رده :
E-BOOK
115. Spectral Techniques in VLSI CAD
پدیدآورنده : by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer-aided design.,Electronic data processing.
رده :
TK7874
.
75
B965
2001
116. String processing and information retrieval :
پدیدآورنده : edited by Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)
رده :
QA76
.
9
.
T48
117. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
118. Symbolic and Algebraic Computation :
پدیدآورنده : edited by Edward W. Ng.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA155
.
7
.
E4
E358
1979
119. System and architecture :
پدیدآورنده : Sunil Kumar Muttoo, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA76
.
9
.
A73
120. System-on-Chip Architectures and Implementations for Private-Key Data Encryption
پدیدآورنده : by Máire McLoone, John V. McCanny.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Data structures (Computer science),Engineering.
رده :
QA76
.
9
.
A25
B963
2003
